Programming Cryptographic Protocols? Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, and Brian T. Sniffen The MITRE Corporation Abstract. Cryptographic protocols are useful for trust engineering in

Source URL: evenmere.org

• Formal languages
• Interpretation
• Philosophy of mind
• Semantics
• Communications protocol
• Model theory
• Digital signature

Report and Folder Storage/Management By default, Exago stores the reports in a file system folder. The location of this folder is specified in the ‘Report Path’ property set in the Administration Console. Alternative

Source URL: www.exagoinc.com

• Computing
• Combinatorics
• Formal languages
• Null
• String
• Software engineering
• Eval
• Comparison of programming languages
• Module:String/doc

PHOG: Probabilistic Model for Code Pavol Bielik Veselin Raychev Martin Vechev Department of Computer Science, ETH Z¨urich, Switzerland

Source URL: www.srl.inf.ethz.ch

• Formal languages
• Stochastic context-free grammar
• Context-sensitive grammar
• Context-free grammar
• Bayesian network
• Parsing
• Language model
• Parse tree
• Formal grammar

Formal Languages and the Generalized Star-Height Problem Tom Bourne University of St. Andrews 3rd June 2014

Source URL: www-circa.mcs.st-and.ac.uk

Handling and Processing Strings in R Gaston Sanchez www.gastonsanchez.com This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported License (CC BY-NC-SA 3.0) http://creativecommons.

Source URL: gastonsanchez.com

• Formal languages
• Computer programming
• Software engineering
• String
• Computing
• Character encoding
• Comparison of programming languages
• Regular expression
• Empty string
• STR
• C string handling
• Len

CrossLanguageSpotter: A Library for Detecting Relations in Polyglot Frameworks Federico Tomassetti Giuseppe Rizzo

Source URL: giusepperizzo.github.io

• Scripting languages
• Cross-platform software
• Object-oriented programming languages
• Ruby
• Formal languages
• JRuby
• JavaScript
• Java
• Abstract syntax tree
• Preprocessor
• Parsing

Formal Languages, Coinductively Formalized Andreas Abel Department of Computer Science and Engineering Chalmers and Gothenburg University Departmental Seminar

Source URL: www2.tcs.ifi.lmu.de

Probabilistic Models for Learning a Semantic Parser Lexicon Jayant Krishnamurthy Allen Institute for Artificial Intelligence 2157 N. Northlake Way, Suite 110 Seattle, WA 98103

Source URL: ai2-website.s3.amazonaws.com

• Academia
• Linguistics
• Cognition
• Formal languages
• Compiler construction
• Cognitive science
• Grammar
• Parsing
• Natural language processing
• Context-free grammar
• Computational linguistics
• Semantics

Q&A for VoiceXML Forum Members Q1: Is The VoiceXML Forum planning a formal press release or other media outreach announcing the new shift in focus? A1: No, The VoiceXML Forum will not be issuing a formal press release or

Source URL: www.voicexml.org

• Computing
• Markup languages
• Speech synthesis
• Standards organizations
• VoiceXML
• IEEE-ISTO

Alternating-time Temporal Logics with Irrevocable Strategies Agotnes Thomas ˚ Dept. of Computer Engineering Bergen University College,

Source URL: folk.uib.no

• Logic
• Mathematical logic
• Model theory
• Mathematics
• Formal languages
• Linear temporal logic
• Temporal logic
• Symbol
• Substitution
• Interpretation
• Structure
• Constructible universe